ďťż

	Zakład Logiki Matematycznej Wydział Matematyki i Informatyki Uniwersytet im. A. Mickiewicza w Poznaniu
Strona główna       Pracownicy       Doktoranci
Konferencje Filozofia Matematyki       Archiwum   Ciekawostki     Logika w sieci

Dane osobowe       Kariera naukowa       Konferencje       Artykuły       Zakres badań Inna działalność Michał Kozak       DANE OSOBOWE Imię Michał Nazwisko Kozak Data urodzenia 21 czerwiec 1978 Stopień naukowy Doktor Hobby Turystyka górska, żeglarstwo, fotografia, piłka nożna, szachy       KARIERA NAUKOWA 1998-2003 Studia na Wydziale Matematyki i Informatyki UAM w Poznaniu 2003 Magister informatyki. Wydział Matematyki i Informatyki UAM w Poznaniu. Praca magisterska: Rozproszona baza danych ze schematem podziału sekretu  Promotor: Prof. dr hab. Jerzy Jaworski od 2003 Studia doktoranckie na Wydziale Matematyki i Informatyki UAM w Poznaniu       KONFERENCJE 23-25 września 2005 Trends in Logic III International Conference in memoriam A. Mostowski, H. Rasiowa, C. Rauszer, Warszawa, Ruciane-Nida. 8-12 maja 2006 XI Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba. 8-11 września 2008 Logic, Algebra and Truth Degrees, First conference of the working group on Mathematical Fuzzy Logic, Siena, Włochy (referat: Distributive Full Lambek Calculus Has the Finite Model Property). 21-22 marca 2009 Shanks Workshop on Ordered Groups in Logic, Nashville, USA (referat: Cyclic Involutive Distributive Full Lambek Calculus Is Decidable). 6-7 lipca 2009 Workshops as part of Tableaux 2009, The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo, Norwegia.       ARTYKUŁY Distributive Full Lambek Calculus Has the Finite Model Property Studia Logica, 91, 201-216, 2009. (pdf)       ZAKRES BADAŃ   Logika metematyczna w informatyce         INNA DZIAŁALNOŚĆ Członek Polskiego Towarzystwa Logiki i Filozofii Nauki (od 2005) Skarbnik w latach 2006 - 2008